interpolation theorem是什么意思_interpolation theorem的中文翻译|音标|读音|用法|短语例句|近反义词

1、

Interpolation theorem and preservation theorem in first order logic have determined the existence of first order formula in accordance with certain conditions, their proofs in classical model theory are fairly long and hard to tackle.

一阶逻辑的内插定理和保持定理确定了符合某些条件的公式的存在性，经典模型论中对这些的证明较为繁难。

互联网摘选

2、

窄边四边形插值定理的优化

互联网摘选

NCBI 生物技术信息中心(National Center for Biotechnology Information)；美国国家生物技术信息中心；美国国立生物技术信息中心
who[huː] pron.谁;什么人;关系代词，有先行词;孰;
China mobile[ˈtʃaɪnə ˈməʊbaɪl] n. 中国移动；中国移动通信；中移动；中国移动通信集团公司
big mom[bɪɡ mɒm] 毕古麻姆
geometry[dʒiˈɒmətri] n.几何学;几何形状;几何图形;几何学著作;
duty[ˈdjuːti] n.责任;职务，职责;上班;税;
solve[sɒlv] v.解决;破解;
path[pɑːθ] n.路径; 道路; 路线; 小路; 小径; 行动计划; 成功的途径;
now[naʊ] adv.现在，目前，此刻;现在就，马上，就要;（用以引出后面的话、改变口气、加强语气或表示安慰、惊奇、恐吓、命令、请求、责备等）喏，好，嗳;刚才，方才;从现在开始;到现在为止，迄今;嗯（在决定下面说什么时的停顿用语）;像这样，这一来conj.既然;由于;当…之际，在…的时候
where you are[weə(r) ju ɑː(r)] 你在哪里（歌曲名）;
sculpture[ˈskʌlptʃə(r)] n.雕刻作品;雕刻艺术;
repairs[rɪ'peəz] n.修理，修补( repair的名词复数 );修补的地方;v.纠正( repair的第三人称单数 );补救;